Towards Information-theoretic Security Proofs in EasyCrypt for Multi-party Protocols Alley Stoughton IACR School on Computer-aided Cryptography University of Maryland

Source URL: www.easycrypt.info

• Random oracle
• Relational database management systems
• Cross-platform software
• Oracle Database
• Cryptography
• Software
• Cryptographic hash functions

Proving Computational Security with a General-Purpose C Verifier A 5-Minute Talk Fran¸cois Dupressoir The Open University

Source URL: csf2012.seas.harvard.edu

• Computational hardness assumption
• Ciphertext indistinguishability
• Computer security
• Cyberwarfare
• Science
• Cryptography
• Cryptographic primitive
• Information-theoretic security

Towards a Game Theoretic View of Secure Computation Gilad Asharov∗ Ran Canetti†

Source URL: www.eng.biu.ac.il

• Cryptography
• Mathematics
• Secure multi-party computation
• Function
• Communications protocol
• Security parameter
• Cryptographic primitive
• Secure two-party computation
• Cryptographic protocols
• Data
• Information

Unconditional security Speaker: Junji SHIKATA 1. Introduction I focus on the topics on unconditional (or information-theoretic) cryptography. Informally, unconditional security means the security which is guaranteed agai

Source URL: www.jsps.go.jp

Information-Theoretic Security Analysis of Physical Uncloneable Functions ˇ P. Tuyls, B. Skori´ c, S. Stallinga, A.H.M. Akkermans, and W. Ophey Philips Research Laboratories, Prof. Holstlaan 4,

Source URL: homepage.tudelft.nl

Fundamental Limits on Information Security and Privacy

Source URL: viterbi.usc.edu

• Cryptography
• One-time pad
• MIMO
• Information-theoretic security
• IEEE 802.11n-2009
• Information
• Telecommunications engineering
• Applied mathematics
• Information theory
• Radio resource management
• IEEE 802

Arithmetic Cryptography∗ Benny Applebaum† Jonathan Avron∗ Christina Brzuska‡

Source URL: eprint.iacr.org

• Secure multi-party computation
• Standard model
• Homomorphic encryption
• Pseudorandom generator
• Cryptographic primitive
• Commitment scheme
• Information-theoretic security
• Goldwasser–Micali cryptosystem
• Secret sharing
• Cryptography
• Cryptographic protocols
• Electronic commerce

Information-Theoretically Secure Protocols and Security Under Composition∗ Eyal Kushilevitz† Department of Computer Science Technion Israel Institute of Technology Haifa 32000, Israel.

Source URL: eprint.iacr.org

• Universal composability
• Secure multi-party computation
• Information-theoretic security
• Zero-knowledge proof
• Communications protocol
• Actor model
• Cryptography
• Cryptographic protocols
• Secure two-party computation

Information-Theoretic Security Analysis of Physical Uncloneable Functions  c, S. Stallinga, A.H.M. Akkermans, W. Ophey P. Tuyls, B. Skori Philips Research Laboratories, Prof. Holstlaan 4,

Source URL: members.home.nl

• PUF
• Scattering
• Speckle pattern
• Light scattering
• Challenge-response authentication
• Information theory
• Physics
• Physical Unclonable Function
• Randomness

An extended abstract of this paper is published in the proceedings of the 8th International Conference on Information-Theoretic Security—ICITSThis is the full version. The Chaining Lemma and its Application Ivan

Source URL: eprint.iacr.org

• Probability theory
• Probability and statistics
• Randomness
• Entropy
• Statistical theory
• Independence
• Min-entropy
• Conditioning
• Mutual information
• Information theory
• Statistics
• Mathematical analysis